Finiteness and choice
نویسندگان
چکیده
منابع مشابه
Geometric Diffeomorphism Finiteness in Low Dimensions and Homotopy Group Finiteness
Our main result asserts that for any given numbers C and D the class of simply connected closed smooth manifolds of dimension m < 7 which admit a Riemannian metric with sectional curvature bounded in absolute value by |K| ≤ C and diameter uniformly bounded from above by D contains only finitely many diffeomorphism types. Thus in these dimensions the lower positive bound on volume in Cheeger’s F...
متن کاملCoherent and finiteness spaces
This short note presents a new relation between coherent spaces and finiteness spaces. This takes the form of a functor from Coh to Fin commuting with the additive and multiplicative structure of linear logic. What makes this correspondence possible and conceptually interesting is the use of the infinite Ramsey theorem. Along the way, the question of the cardinality of the collection of finiten...
متن کاملFiniteness and duality
Consider a ring K, a topological space X and a sheaf A on X of K[[~]]-algebras. Assuming that A is ~-complete and without ~torsion, we first show how to deduce a coherency theorem for complexes of A -modules from a corresponding property for complexes of A /~A -modules. We apply this result to prove that, under a natural properness condition, the convolution of two coherent kernels over deforma...
متن کاملFiniteness and Torelli Spaces
Torelli space Tg (g ≥ 2) is the quotient of Teichmüller space by the Torelli group Tg. It is the moduli space of compact, smooth genus g curves C together with a symplectic basis of H1(C;Z) and is a model of the classifying space of Tg. Mess, in his thesis [12], proved that T2 has the homotopy type of a bouquet of a countable number of circles. Johnson and Millson (cf. [12]) pointed out that a ...
متن کاملFiniteness spaces
We investigate a new denotational model of linear logic based on the purely relational model. In this semantics, webs are equipped with a notion of “finitary” subsets satisfying a closure condition and proofs are interpreted as finitary sets. In spite of a formal similarity, this model is quite different from the usual models of linear logic (coherence semantics, hypercoherence semantics, the v...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 2002
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm173-1-4